Search results for "Programming language specification"

showing 6 items of 6 documents

Towards Diagrammatic Patterns

2008

This article presents the idea that the graphical representation (concrete syntax) of a visual language can be specified based on some pre-defined diagrammatic patterns. A diagram from the Specification and Description Language (SDL) is used as illustration.

Computer scienceProgramming languagebusiness.industryObject languageComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Specification languagecomputer.software_genreSpecification and Description LanguageVisual languageDiagrammatic reasoningLanguage Of Temporal Ordering SpecificationUniversal Networking LanguageSoftware_SOFTWAREENGINEERINGProgramming language specificationComputer Science::Programming LanguagesArtificial intelligencebusinesscomputerNatural language processingcomputer.programming_language
researchProduct

LCL - A Graphical Meta-Language for Specification of Language Constraints

2015

The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.

Computer scienceProgramming languagebusiness.industryObject languageSpecification languagecomputer.software_genreUniversal Networking LanguageHigh-level programming languageProgramming language specificationData control languageArtificial intelligenceFirst-generation programming languagebusinesscomputerNatural language processingObject Constraint Languagecomputer.programming_languageProceedings of the 3rd International Conference on Model-Driven Engineering and Software Development
researchProduct

Specification of modelling languages in a flexible meta-model architecture

2010

Originally, meta-models were used to specify the structure (abstract syntax) of modelling languages. This is reflected both in meta-languages like MOF and Ecore, and the four-layer meta-model architecture. Presently, meta-modelling is used for specification of complete languages. In this situation, it turns out that the traditional meta-languages are not always expressive enough to capture all language aspects. This usually implies the use of more than one metalanguage in the meta-model architecture to cover the different language aspects. There are many approaches to address this challenge. In this paper, we analyze these approaches, and based on this analysis, we re-think the meta-model a…

Enterprise architecture frameworkArchitecture description languageComputer scienceProgramming languageProgramming language specificationReference architectureSpecification languageData architectureSpace-based architecturecomputer.software_genrecomputerDatabase-centric architectureProceedings of the Fourth European Conference on Software Architecture: Companion Volume
researchProduct

A syntax controlled generator of formal language processors

1963

Formal grammarUniversal Networking LanguageGeneral Computer ScienceComputer scienceProgramming languageObject languageFormal specificationProgramming language specificationSpecification languageSyntax errorcomputer.software_genrecomputerContext-sensitive languageCommunications of the ACM
researchProduct

Another defence of enumerated types

1991

I claim that enumerations, while of course not strictly necessary, are an elegant and useful facility in modern programming languages. I try to show that arguments recently given against them are weak at best and bogus a t worst, for general-purpose programming. Some related issues on types in programming languages are touched as well. These make it even more questionable whether Oberon marks progress or regress in language design.

Symbolic programmingEnumerated typeProgramming languageComputer scienceComparison of multi-paradigm programming languagesNatural language programmingSecond-generation programming languageProgramming language generationscomputer.software_genreComputer Graphics and Computer-Aided DesignVery high-level programming languageThird-generation programming languageLanguage primitiveHigh-level programming languageProgramming language specificationProgramming paradigmFourth-generation programming languageFifth-generation programming languagecomputerLow-level programming languageSoftwareProgramming language theoryACM SIGPLAN Notices
researchProduct

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

Universal Networking LanguageHigh-level programming languageComputer scienceProgramming languageModeling languageProgramming language specificationData control languageSpecification languageInterface description languagecomputer.software_genreLow-level programming languagecomputer
researchProduct